propositional calculus - Englisch Synonyme Wörterbuch